home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / Small Demos / acker.icl next >
Encoding:
Text File  |  1996-01-17  |  203 b   |  14 lines  |  [TEXT/3PRM]
  1. module acker
  2.  
  3. //    The Ackermann function.
  4.  
  5. import StdInt
  6.     
  7. Acker::Int Int -> Int
  8. Acker 0 j =    j + 1
  9. Acker i 0 = Acker (i - 1) 1
  10. Acker i j = Acker (i - 1) (Acker i (j - 1))
  11.  
  12. Start::Int
  13. Start = Acker 3 7
  14.